PQE HPF-a library for exploiting the capabilities of a PQE-1 heterogeneous parallel architecture

نویسندگان

  • Ranieri Baraglia
  • Renato Ferrini
  • Domenico Laforenza
  • Paolo Palmerini
  • Raffaele Perego
چکیده

Heterogeneous Computing is a special form of parallel and distributed computing where computations are performed using a single autonomous computer operating in both SIMD and MIMD modes, or using a number of connected autonomous computers. In Multimode System Heterogeneous Computing, tasks can be executed in both SIMD and MIMD simultaneously. In this paper we present PQE HPF, an HPF-based programming library which allows to exploit the MIMD and SIMD capabilities offered by PQE-1, a Multimode Parallel Architecture. Two different implementations of a well-known application using HPF and PQE HPF respectively were used to evaluate the overheads introduced over the machine’s runtime system. Preliminary tests conducted by running the case study application on the first PQE-1 prototype show good results and encourage to dedicate more efforts to implement real production parallel codes on a similar architecture.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Partial Quantifier Elimination

We consider the problem of Partial Quantifier Elimination (PQE). Given formula ∃X[F (X,Y ) ∧G(X,Y )], where F,G are in conjunctive normal form, the PQE problem is to find a formula F ∗(Y ) such that F ∗ ∧ ∃X[G] ≡ ∃X[F ∧G]. We solve the PQE problem by generating and adding to F clauses over the free variables that make the clauses of F with quantified variables redundant in ∃X[F ∧G]. The traditi...

متن کامل

Mutations in the pqe-1 Gene Enhance Transgene Expression in Caenorhabditis elegans

Although various genetic tools have been developed and used as transgenes, the expression of the transgenes often is hampered by negative regulators. Disrupting such negative regulators of gene expression is potentially a way to overcome the common problem of low expression of transgenes. To find such regulators whose mutations enhance transgene expression in Caenorhabditis elegans, we took adv...

متن کامل

Property Checking Without Invariant Generation

We introduce ProveProp , a procedure for proving safety properties. ProveProp is based on a technique called Partial Quantifier Elimination (PQE). In contrast to complete quantifier elimination, in PQE, only a part of the formula is taken out of the scope of quantifiers. So PQE can be dramatically more efficient than complete quantifier elimination. The appeal of ProveProp is twofold. First, it...

متن کامل

Tumor-specifically hypoxia-induced therapy of SPRY1/2 displayed differential therapeutic efficacy for melanoma.

Activation of receptor tyrosine kinase (RTK) signalling pathways is frequently correlated to cancer cell proliferation, angiogenesis and cell survival. Sprouty (SPRY) proteins function as a physiological endogenous inhibitor of RTK signalling pathways, have been shown to be deregulated in most cancer cells. Here, we demonstrated that over-expression of SPRY1 and SPRY2 inhibited B16F10 cell prol...

متن کامل

Communicating data-parallel tasks: an MPI library for HPF

High Performance Fortran (HPF) has emerged as a standard dialect of Fortran for data-parallel computing. However, HPF does not support task parallelism or heterogeneous computing adequately. This paper presents a summary of our work on a library-based approach to support task parallelism, using MPI as a coordination layer for HPF. This library enables a wide variety of applications, such as mul...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000